Lexically Scoped Regions for Initialization of Pluggable Object Types A supplement to a course at the ESF Cost Winter School on Verification of OO Programs in Estonia Christian Haack January 25, 2009 Abstract

Source URL: www.cs.ru.nl

Immutable Objects Venkat Subramaniam http://www.agiledeveloper.com/download.aspx Abstract An object is said to be immutable if its state can not be modified once the object is

Source URL: www.agiledeveloper.com

Algorithmic Statistics P´eter G´acs, John T. Tromp, and Paul M.B. Vita´ nyi Abstract— While Kolmogorov complexity is the accepted absolute measure of information content of an individual finite object, a similarly a

Source URL: www.cs.bu.edu

Improving Robot Vision Models for Object Detection Through Interaction J¨urgen Leitner, Alexander F¨orster, J¨urgen Schmidhuber Abstract— We propose a method for learning specific object representations that can be

Source URL: juxi.net

Properties_Powers_Structures_book.pdf

Source URL: users.uoa.gr

• Ontology
• Philosophy of science
• Concepts
• Reality
• Scientific method
• Nominalism
• Philosophy of mathematics
• Abstract object
• Scientific realism
• Philosophy
• Metaphysics
• Science

Semirealism or Neo-Aristotelianism? Stathis Psillos Dept of Philosophy and History of Science University of Athens, University CampusAthens,

Source URL: users.uoa.gr

• Abstraction
• Empiricists
• Philosophy of science
• Anti-realism
• Realism
• Causality
• Abstract object
• Philosophical realism
• David Hume
• Philosophy
• Metaphysics
• Ontology

Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2

Source URL: www.kurims.kyoto-u.ac.jp

• Algebraic structures
• Module theory
• Homological algebra
• Algebraic geometry
• Module
• D-module
• Flat module
• Type system
• Abstract algebra
• Algebra
• Mathematics

ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: The IDL to TTCN-3 Mapping

Source URL: www.etsi.org

• Software testing
• CORBA
• Component-based software engineering
• Object-oriented programming
• Computer languages
• TTCN-3
• TTCN
• IDL
• Abstract Syntax Notation One
• Software engineering
• Computing
• Computer programming

Josuttis: The C++ Standard Library July 1, 1999 page v Contents Preface

Source URL: www.josuttis.com

• Computer programming
• Abstract data types
• Object-oriented programming
• Cross-platform software
• Generic programming
• Iterator
• Standard Template Library
• Associative containers
• Sequence container
• Computing
• Software engineering
• C++ Standard Library

Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam

Source URL: www.paultaylor.eu